En mathématiques, plus précisément en algèbre linéaire et en analyse fonctionnelle, le complément orthogonal W d`un sous-espace vectoriel W d`un espace préhilbertien V est l`ensemble des vecteurs de V qui sont orthogonaux à tout vecteur de W, c`est-à-dire